send_onceR{$done:ut2, $tg:ut2, $b:ut2, $done1:ut2}
send_onceR(T; A; f; l)
== Rlist(cons(onceR{$b:ut2, $done1:ut2}
== Rlist(cons(onceR(source(l));
== Rlist(cons(cons(Rsends(fpf-single(mkid{$done:ut2}; A);
== Rlist(cons(cons(Rsends(locl(mkid{$b:ut2});
== Rlist(cons(cons(Rsends(p-outcome(unit-fps);
== Rlist(cons(cons(Rsends(l;
== Rlist(cons(cons(Rsends(fpf-single(mkid{$tg:ut2}; T);
== Rlist(cons(cons(Rsends(cons(<mkid{$tg:ut2}, s,v. cons((f(s(mkid{$done:ut2}))); [])>; []));
== Rlist(cons(cons([]))) 

latex

Definitions

Rlist(L), onceR{$a:ut2, $done:ut2}(i), source(l), Rsends(ds; knd; T; l; dt; g), locl(a), p-outcome(p), unit-fps, fpf-single(x; v), <a, b>, x.A(x), cons(car; cdr), f(a), mkid{$x:ut2}, []